Gentzen

Gentzen
Gẹntzen,
 
Gerhard Karl Erich, Mathematiker und Logiker, * Greifswald 24. 11. 1909, ✝ Prag 4. 8. 1945; ab 1943 Dozent in Prag, wo er in der Internierung starb. Gentzen entwickelte in seiner Dissertation den »Kalkül des natürlichen Schließens«, der sich für metamathematische Untersuchungen besonders eignet. 1936 gelang es ihm, mithilfe unendlicher Induktion die Widerspruchsfreiheit der Arithmetik zu beweisen und so das Hilbert-Programm (Formalismus) in modifizierter Form weiterzuführen.

Universal-Lexikon. 2012.

Игры ⚽ Поможем сделать НИР

Schlagen Sie auch in anderen Wörterbüchern nach:

  • GENTZEN (G.) — GENTZEN GERHARD (1909 1945) Logicien allemand, né à Greifswald et mort à Prague lors de son emprisonnement par les Soviétiques. Gentzen a développé l’étude des systèmes de déduction naturelle et établi un théorème d’élimination des coupures.… …   Encyclopédie Universelle

  • Gentzen — ist der Familienname folgender Personen: Felix Heinrich Gentzen (1914–1969), deutscher Historiker Gerhard Gentzen (1909–1945), deutscher Mathematiker und Logiker Horst Gentzen (1930–1985), deutscher Schauspieler Siehe auch: Gentzenscher Hauptsatz …   Deutsch Wikipedia

  • Gentzen's — Gentzen, Gerhard …   Philosophy dictionary

  • Gentzen — Gerhard Gentzen Gerhard Gentzen (24 novembre 1909 à Greifswald 4 août 1945 à Prague) fut un mathématicien et logicien allemand. Son œuvre est fondamentale en théorie de la démonstration. Il fut l un des étudiants de Weyl à l… …   Wikipédia en Français

  • Gentzen's consistency proof — Gentzen s theoremIn 1936 Gerhard Gentzen proved the consistency of first order arithmetic using combinatorial methods. Gentzen s proof shows much more than merely that first order arithmetic is consistent. Gentzen showed that the consistency of… …   Wikipedia

  • Gentzen, Gerhard — (1909–1945) German mathematician, who proved the consistency of classical arithmetic in 1936, relying, however, on transfinite induction . Gentzen was also responsible for the first natural deduction approach to formal logic …   Philosophy dictionary

  • Gerhard Karl Erich Gentzen — (* 24. November 1909 in Greifswald; † 4. August 1945 in Prag) war ein deutscher Mathematiker und Logiker. Inhaltsverzeichnis 1 Mathematische Leistungen 2 Leben 3 Zitat …   Deutsch Wikipedia

  • Gerhard Gentzen — Gerhard Karl Erich Gentzen (* 24. November 1909 in Greifswald; † 4. August 1945 in Prag) war ein deutscher Mathematiker und Logiker. Inhaltsverzeichnis …   Deutsch Wikipedia

  • Felix-Heinrich Gentzen — (* 19. Mai 1914 in Rastenburg; † 2. August 1969) war ein deutscher Historiker. Inhaltsverzeichnis 1 Familie und Kriegsdienst 2 Heimkehr und Studium 3 Lehrtätigkeit …   Deutsch Wikipedia

  • Théorème de Gentzen — Gerhard Gentzen Gerhard Gentzen (24 novembre 1909 à Greifswald 4 août 1945 à Prague) fut un mathématicien et logicien allemand. Son œuvre est fondamentale en théorie de la démonstration. Il fut l un des étudiants de Weyl à l… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”